181. A survey of Islamic history -- Why an introduction to Islam specifically for Jews? -- Arabs and Israelites -- Pre-Islamic origins -- The emergence of Islam -- Muhammad and the Jews of Medina -- The death of the prophet and the expansion of the community -- The conquests -- The caliphal dynasties -- The decline of the Muslim world -- God, the Qur'an, and Islamic law -- God -- The five doctrines or "pillars of faith" -- The evolution of a formal theology -- The Qur'an -- The interpretive tradition -- The prophetic record -- Islamic law -- The workings of shari'a -- The umma: Islam in practice -- The umma and the caliphate -- The five pillars of Islam -- A sixth pillar? Jihad -- The range of practice among Muslims -- Sufism -- The shi'a -- Mosque and clergy -- The calendar -- The Muslim life-cycle -- Personal observance. 0
پدیدآورنده: Reuven Firestone.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
182. A=B /
پدیدآورنده: Marko Petkovšek, Herbert S. Wilf, Doron Zeilberger ; [with foreword by Donald E. Knuth.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial identities-- Data processing.,Identités combinatoires-- Informatique.,Algorithmus,Algorithmus.,Algoritmos e estruturas de dados.,Combinatorial identities-- Data processing.,Hypergeometrische Reihe,Hypergeometrische Reihe.,Spezielle Funktion,Spezielle Funktion.
رده :
QA164
.
9
.
P48
1996
183. Accuracy and the laws of credence
پدیدآورنده: Richard Pettigrew.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electronic books
184. Adapting proofs-as-programs
پدیدآورنده: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
185. Adapting proofs-as-programs
پدیدآورنده: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
186. Adapting proofs-as-programs
پدیدآورنده: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
رده :
QA
,
9
.
54
,.
P64
,
2005
187. Adaptive Learning by Genetic Algorithms
پدیدآورنده: by Herbert Dawid.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Economics, Mathematical.,Economics.
188. Advanced Quantum Mechanics :
پدیدآورنده: by Rainer Dick.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electronics-- Materials.,Nanoscience.,Nanostructures.,Nanotechnology.,Optical materials.,Physics.,Quantum optics.,Quantum theory.,Electronics-- Materials.,Nanoscience.,Nanostructures.,Nanotechnology.,Optical materials.,Physics.,Quantum optics.,Quantum theory.
رده :
QC173
.
96-174
.
52
189. Advanced quantum mechanics :
پدیدآورنده: Rainer Dick.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Quantum theory.,Quantum theory.
رده :
QC174
.
12
.
D53
2016eb
190. Advances in Cryptology - ASIACRYPT '91 :
پدیدآورنده: edited by Hideki Imai, Ronald L. Rivest, Tsutomu Matsumoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer communication networks.,Computer science.,Operating systems (Computers)
رده :
QA76
.
9
.
A25
E358
1993
191. Advances in Cryptology -- CRYPTO '91 :
پدیدآورنده: edited by Joan Feigenbaum.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Data encryption (Computer science),Ordinateurs -- Accès -- Contrôle -- Congrès.
192. Advances in Cryptology -- EUROCRYPT '88 :
پدیدآورنده: edited by D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth, Christoph G. Günther.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Data encryption (Computer science)
193. Advances in Cryptology -- EUROCRYPT '91 :
پدیدآورنده: edited by Donald W. Davies.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Data encryption (Computer science),Operating systems (Computers)
194. Advances in Decision Analysis
پدیدآورنده: edited by Nadine Meskens, Marc Roubens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathematics.,Operations research.
195. Advances in Invariant Subspaces and Other Results of Operator Theory
پدیدآورنده: edited by R. G. Douglas, C. M. Pearcy, B. Sz.-Nagy, F.-H. Vasilescu, Dan Voiculescu, Gr. Arsene.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathematics.
196. Advances in Proof Theory
پدیدآورنده: \ Reinhard Kahle, Thomas Strahm, Thomas Studer Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory -- Congresses.
رده :
E-Book
,
197. Advances in Pseudo-Differential Operators
پدیدآورنده: edited by Ryuichi Ashino, Paolo Boggiatto, M. W. Wong.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Differential equations, Partial.,Engineering.,Global analysis.,Mathematical physics.,Mathematics.,Numerical analysis.,Operator theory.
198. Advances in catalysis.
پدیدآورنده: edited by D.D. Eley, Herman Pines, Paul B. Weisz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Catalysis.,Chemistry, Physical and theoretical.,Catalysis.,Chemistry, Physical and theoretical.,SCIENCE-- Chemistry-- Physical & Theoretical.
رده :
QD501
.
A3825
1976eb
199. Advances in cryptology-- ASIACRYPT 2011 :
پدیدآورنده: edited by Dong Hoon Lee, Xiaoyun Wang
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer security, Congresses,Data encryption (Computer science), Congresses,Data protection, Congresses
رده :
QA76
.
9
.
A25
.
I58
2011
200. Advances in cryptology -- EUROCRYPT 2013 :
پدیدآورنده: Thomas Johansson, Phong Q. Nguyen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial Intelligence.,Computer Security.,Data encryption (Computer science) -- Congresses.
رده :
QA76
.
9
.
A25
T466
2013
